Abstracting Continuous Nonpolynomial Dynamical Systems
نویسنده
چکیده
ing Continuous Nonpolynomial Dynamical Systems
منابع مشابه
Entropy operator for continuous dynamical systems of finite topological entropy
In this paper we introduce the concept of entropy operator for continuous systems of finite topological entropy. It is shown that it generates the Kolmogorov entropy as a special case. If $phi$ is invertible then the entropy operator is bounded with the topological entropy of $phi$ as its norm.
متن کاملOn Two-parameter Dynamical Systems and Applications
In this note some useful properties of strongly continuous two-parameter semigroups of operators are studied, an exponential formula for two-parameter semigroups of operators on Banach spaces is obtained and some applied examples of two-parameter dynamical systems are discussed
متن کاملStructured Hybrid Abstractions of Continuous Systems
Abstracting a continuous dynamical system by a hybrid linear automaton allows to use formal verification techniques to check properties of hybrid systems. In order to build the abstract model, the state space is partitioned and the rate of each state variable is approximated. When the system is linear the properties of the continuous system can be used to split the state space in order to get a...
متن کاملOn the Notion of Fuzzy Shadowing Property
This paper is concerned with the study of fuzzy dynamical systems. Let (XM ) be a fuzzy metric space in the sense of George and Veeramani. A fuzzy discrete dynamical system is given by any fuzzy continuous self-map dened on X. We introduce the various fuzzy shad- owing and fuzzy topological transitivity on a fuzzy discrete dynamical systems. Some relations between this notions have been proved.
متن کاملVerification of continuous dynamical systems by timed automata
This paper presents a method for abstracting continuous dynamical systems by timed automata. The abstraction is based on partitioning the state space of a dynamical system using positive invariant sets, which form cells that represent locations of a timed automaton. The abstraction is intended to enable formal verification of temporal properties of dynamical systems without simulating any syste...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012